SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers∗ Yoann Padioleau Julia L. Lawall

Source URL: pages.lip6.fr

LLDSAL A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer, Boris Bluntschli, & Thomas R. Gross Department of Computer Science

Source URL: www.nebelwelt.net

Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr

Source URL: pages.lip6.fr

P AA AGE PaaSage Model Based Cloud Platform Upperware

Source URL: www.paasage.eu

• Computing
• Scientific modeling
• Cloud infrastructure
• Cloud storage
• Cloud computing
• PaaSage
• Business process management
• Modeling language
• Domain-specific language
• Scientific modelling
• Data center
• Camel case

Optimizing Packet Accesses fro a Domain Specific Language on Network Processors

Source URL: www.ece.lsu.edu

SECURITY The Bugs We Have to Kill S E R G E Y B R AT U S , M E R E D I T H L . PAT T E R S O N , A N D A N N A S H U B I N A

Source URL: langsec.org

• Software engineering
• Software
• Computer programming
• Compiler construction
• Parsing
• Formal languages
• Parser combinator
• Syntax
• Computability
• Compiler-compiler
• Compiler
• Domain-specific language

Microsoft Word - klippel2011spatial_event.doc

Source URL: www.cognitivegiscience.psu.edu

• Linguistics
• Cognition
• Parts of speech
• Cognitive science
• Natural language processing
• Statistical natural language processing
• Computational linguistics
• Language
• Preposition and postposition
• Latent semantic analysis
• Domain-specific language
• Adjective

International Conference on Software Language Engineering (SLE) http://www.sleconf.org/2014

Source URL: www.sleconf.org

• Software engineering
• Computing
• Unified Modeling Language
• Scientific modeling
• Project management
• Domain-specific language
• Metamodeling
• Object Process Methodology
• Systems Modeling Language
• Business Process Model and Notation
• Modelica

We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin

Source URL: popl-obt-2014.cs.brown.edu

• Software engineering
• Computing
• Software
• Functional programming
• Programming paradigms
• International Conference on Functional Programming
• Domain-specific language
• Compiler
• Type system
• Declarative programming
• Programming language

A Domain-Specific Interpreter for Parallelizing a Large Mixed-Language Visualisation Application Karen Osmond, Olav Beckmann, Anthony J. Field, and Paul H. J. Kelly Department of Computing, Imperial College London, 180 Q

Source URL: www.ece.lsu.edu